Implement raise from type checking

Fix #337