Assertion list for term "enforce type safety".

Results from Ascent++: 1
compiler CapableOfenforce type safety 0.25