Adding typechecking module from Eiffel.

It compiles, but still hasn't been checked otherwise.