Typing: fixed bug in instance Eq (MonoType m)
Typing: added inferExpr for Unop
Typing: finished inferExpr