Add type checker for expressions.
Arrange packages. Introduce exceptions.