Bugs Fixed ext/typeexpr: Verify type assumptions when applying default values, and ignore input values that do not match type assumptions. (#594)
