#Alonzo news: I've now unit-tested equivalents to Haskell's Either type, as well as an Any type. That Any type required the fixes, Either didn't.

Namely I added some more branches to handle the underlying "forall" clause, & I gave "forall" precedence in dispatching subtyping tests.

I think I'll finish this part of the codebase tomorrow!