Moved CheckExpr Visitor interface to ast visitor subpackage based on Tijs' feedback