Get type checker working correctly. Integrate the type checker into the execution flow. Fully type the functions in prelude.