Identity package:Agda

Show identity substitutions when pretty-printing terms (i.e. always show all arguments of a metavariable).