Prototype a type analysis in the simple language