[ issue 1254 ] test case.
[ instance ] Refactored getOutputTypeName.
[ instance ] Better formatting of debug printouts.
[ instance ] Small code reformulations, haddock comment.
[ issue 1254 ] Fixed by proper use of projections.
[ instance ] isRecursive needs to be monadic (reduce)!
[ refactor ] Use Maybe for lists <= 1.
[ refactor ] Moved Signature lenses to Monad.State.
[ instance ] Refactor: use lenses to modify instance table.
[ instance ] Cosmetic changes in Telescope.hs.
[ instance ] Puzzled why there are Constructor instances.
[ instance ] A test case with constructors and modules.
Merge branch 'master' of github.com:agda/agda