[ Utils ] new Sized instances and SizedThing wrapper.
Merge branch 'maint-2.4.2'
[ Utils ] Null instance for SizedThing.
Merge branch 'master' of github.com:agda/agda
Merge branch 'maint-2.4.2'