typify.assert