Concise, chainable assertions for type checking