Fix #600
Fix #595
Fix #587
Fix #580
Fix #524
Fix meet check when ForAll is on right
Merge pull request #601 from purescript/flight_work

Fix various bugs, add support for multiple errors