upgrade TypeCheckVisitor implementation
Merge branch 'nuevo'