Add builtin Int to Double cast
Store all builtins in CheckedContext
Implement function overloading
Add string ! operator