types/Forall

Sorry about all the "merge branch" commits... must be my git-fu not being up to scratch.  I hope that doesn't mean I need to learn to use "rebase".