Clean up exports in `heap_lang`.

- Export `total_weakestpre` in `lifting` already, like we do for `weakestpre`.
- Do not export modules that are already exported by exported modules.