Swap match order of <:forallL and <:forallR
Add case branches for InstReach
Merge pull request #1 from AndrasKovacs/master

Some fixes