Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors

datatype foo = Bar of int

table bad : { A : foo, B : { X : float } }