This module sets up a simple interpreter that reads in expressions, does type analysis, evaluates them to results or exceptions, prints, and loops.

Honestly it isn't supposed to be that thrilling.