I think we should return a ```List<Type>``` for the exception types in order to generate a stable order of catch-blocks.