Cleanup
Some progresses in ∧-context-loading-adm