truly-the type value

Like the the special form, except that it believes whatever you tell it. It will never generate a type check, but will cause a warning if the compiler can prove the assertion is wrong.