Typing: added Void type
Typing: added instances of inferStmt from Expr, Scope and IfElse
Typing: changed semantics of typing MetaData in BinOp en Unop
Typing: added InferIf
Typing: finished inferStmt