Moved typechecking visitor to subpackage