[ Issue 1348 ] Added separate syntax for reflected things.
[ clean ] Removed (now unused) extended lambda from internal syntax.
[ clean ] Removed special cases for unquoted things from reification.
[ refactor ] Some more readable instances for toAbstract
[ fix ] Typo "Propertty" on Windows.
Merge branch 'maint-2.4.2'
[ issue 1340 ] Removed GHC 7.2.2 from the tested-with field in .cabal
[ releases notes ] Added platforms (Linux, MacOS X and Windows)
Merge branch 'maint-2.4.2'
Merge pull request #20 from jespercockx/reflected-syntax

[ Issue 1348 ] Added separate syntax for reflected things.
[ fix ] Order pattern variables from right to left instead of left to right when unquoting a clause.
[ new ] Utils.Permutation.Tests: some properties of Permutation quickchecked.
[ haddock ] Link to Agda.Utils.Properties.Tests
[ imports ] strictified in Coverage.hs
Merge branch 'maint-2.4.2'
[ opt ] Use IntMap in LHS.Unify.
[ refactor ] various things in LHS.Unify.
[ pointless opt ] Use IntMap in Epic.Injection.
[ Issue 1280 ] Insert hidden `unknown' arguments for parameters when quoting a constructor.
[ new ] Utils.Permutation.inversePermute