Allow implementations to be properly quantified
allow labeled records to have assignment patterns too