add check for integer expressions
move checkIdentifier in checkQuestion
add ExpressionEval and EvalTypeEnvironment module
update typechecker
improving typechecker
small fixed
evaluate question
modify eval
add stuff for eval expression
improve
fixing typechecker
change typechecker
fix typechecking bug
fix computed question typecheck
fix typecheck double identifiers
add comments and clean up code
modify typeChecker