Merge branch 'master', remote branch 'origin'
Add TypeError, EvalError
Add strictness
Use strict Map
Fix type inference error

"false + 4" does not pass type checker