Typing: added type inferencing stub
Typing: completed InferMonad
Typing: remodelled to fit inferExpr for BinOp
Typing: implemented applyPoly
Typing: added inferExpr for Var
AST: replaced List with Nil
Typing: fixed bug in instance Eq (MonoType m)
Typing: added inferExpr for Unop
Typing: finished inferExpr
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
Typing: added stub for InferDecl for FunDecls
Typing: completed inferDecl
Typing: fixed comments in inferDecl for AST.FunDecl
Typing: completed infer; added createInitialContext
SemanticAnalysis: added export
Merge branch 'typing'

Conflicts:
	SemanticAnalysis.hs