new exception type
starting typing rules
a