prove exhaustive_env_weakened_exh_SUBMAP

and bit of work trying to push conLang forward, not getting far