add a simple type-safe eq for labeled values, tests for non-compilation