[ fix ] Keep the right Range on A.DataDef and A.RecDef
Merge remote-tracking branch 'origin/maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Concrete/Definitions.hs