complex type rep
type checks with arbitrary function type complexity
handle n applications, notes for discussion
tree cleanup
tree notes
further expr cleanup
final tweaks to type checking