Make check-on-write logic correct when writing into (not just through) a generic pointer. Allow specialisation of as-yet-unused objects that started out with a lazy/loose/generic allocation uniqtype.