Implement raise from type checking

Fix #337 
It seems that the exception types don't need to have any relationship. Also, any exception type object is valid. Actually, the check for the `from` expression should be the same as for the first expression, right?