[ refactored ] hiddenLamdaOrHole in TC.Rules.Term.
[ refactored ] Range handling in hidden lambda insertion.
[ refactored ] conditions when to insert hidden lambda.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ refactor ] Removed (:->) alias for Map.

Map k v is standard, k :-> v is not a terrible boost of readability.
Quite the contrary, imho.
[ clean ] Removed commented out CoCase in CompiledClause
[ cosmetics ] Fixed some whitespace in CompiledClauses.
[ refactor ] Removed uses of :-> from Epic.Injection.
[ Issue 1281 ] Fixed by optimistic interpretation of metas.

If the termination checker encounters a meta in a call argument, it will
assume the best possible instance for it.  This way, the termination
checker will not complain early while you are still constructing your program.
[ Issue 1281 ] Test case.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2