Tighten up the sanity checks in TypeCreate(): pass-by-value types must have