Type System Detail 1

by Steve Hickey