areTypesCompatible

Check if two types are compatible for operations