Rename -types to -asserts