TypeVisitor; allow the language module to subtype Callable