[ Issue 1283 ] Added missing type signatures in Concrete.Pretty.
Merge branch 'maint-2.4.2'
[ bug fix ] unquoteDecl is not allowed in mutual

should not cause __IMPOSSIBLE__ though
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
Merge remote-tracking branch 'origin/maint-2.4.2'
Merge branch 'master' of github.com:agda/agda
[ comments ] Updated comments in Agda.Interaction.Imports
[ refactor ] moved a couple of local functions to top-level
Merge remote-tracking branch 'origin/maint-2.4.2'
[ new feature ] unquoteDef x = e

Like unquoteDecl but without type signature (expects a list of clauses).
Can be used in mutual blocks!
[ fix ] killRange in unquoteDecl and unquoteDef to avoid weird error locations