A class describing the operation which caused the error
A function to transform the type to corresponding Atom representation