Marc,

naming it "assert-type" is a very good idea. The new name will appear in the next draft. (In case "assert" is going to be renamed as well, e.g. to "check", "assert-type" would then probably become "check-type".)