Create TypeCheckVisitor.java

Implement type checking for own  defined language