Concise, chainable assertions for type checking and guard clauses