Assertions to check types - for when the type system just isn't enough.