Add `..' to the prelude
Add `filter' to the prelude
Add `map' to the prelude
Can import other files (`with' native operation)
Add predicate operations for type checking
Rename `list/reverse' to `reverse'