Finished Refactoring Contexts -> Derivations; Same Tests Pass.