support Session argument for Scala.Fun;
more robust check of citations within the Pure theory before the theory header;