change ==Set to label form _==Set_ now and mark it as todo
comment out map rules in compat.k