The step case of \Omega has been typed in SHLK. 
Hyper quantifiers were introduced.

NB: An assert in the getTerms method in ForallRightRule was commented out. The reason
why it failed is unclear to me yet. I put a TODO: at that place! Since this is a 
very important rule, the assert should be uncommented soon.










git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1514 85d21ef8-add0-11de-ae77-5bfb9c5a3f34