add some wf checks for fn types

[shua]

This change adds a syntax for specifying FnDefs and FnPtrs as type parameters, fn name<T, U, ...> and fn(T, U,...) -> V respectively. The fn prefix is used to disambiguate between adt identifiers. In addition, some relevant well-formed cases have been added.