Better naming.
Split PrenexTree into separate module.
Forgot a file.
Merge branch 'master' into gadt
Rewrite specification to resemble logic-agda one.
Added QType ordering.