Introduce types mal-runtime-exception and mal-user-exception types