Add simple typing to untyped ML implementation

Changes from TAPL Ch 8 -> Ch 10.
Binding the type (tho not using it).