Simplify the representation of types.

Remove the Tfn constructor and treat function types as a type
application with a TC_fn type constructor.  This removes an annoying
case from all the functions that process types structurally.