Simple type checking without stack traces