better assert messages

oops another fix swooped in there

None is not null. None is used as a placeholder for types that aren't computed yet. It should never reach the mangler or we have a bug earlier in the code.