allow foralls and typfuns to be inserted implicitly

[cyrus-]

• if we use a lowercase type variable name in a type, it should implicitly put a forall on the outermost position relative to the parent pattern, e.g. forall a -> forall b -> ([a], a -> b) -> [b] could just be written ([a], a -> b) -> [b].

• typfuns should also be elidable if you are analyzing underneath