Introduce new exception types: LogicError, IllegalOperation,
InvalidArgument, and DoubleDefinition.