Add string representation to Boolean.
Add type names.
Fix type of native macros.
Make Nil a singleton object.
Add mutation.