Added a nil type to the type system.

Marked a bunch of code pieces for review.