Insert typechecks before RAW-INSTANCE-INIT in structure constructors