API for accessing typechecking errors, added eon_type:raise/1