report errors for invalid method and type signatures (closes #36)