Allow checking whether operations are allowed for types.
Use references for operation checking and adds default operations.