Avoiding TYPE = SET in uuag for now.

Only the newest version supports this (thanks Jeroen!), so I`ll avoid
for now, as I don`t seem to need it.
Getting Applic to nearly compile. Subst needed.

Committing the substitution later, in another patch.
For now, these are the changes required to get the Set related code
to compile.
Substitution instance for Applic.

Was needed but so far ignored.