Module context

Do not review yet, I'm expecting failures.
can you add a TODO here with my name on it? I want to try to delete Maude starting Friday, and I need to be able to keep track of this to know to delete it.