error reporting tweaks
specialize shm/\\ for lambdas instead of general operators