Instantiate (Context Type) at module import and inline Atlas-context.
Instantiate (Context Type) at module import and inline Atlas-context.

Old-commit-hash: ab6a6f98d3cd65420cf3b2f48869a4b90193a516

inc-lc/ilc-agda