Initial fix for types given in throws clauses, still not checking type and arity