simplify omega of maps pointed by reflexivity + cleanup examples file