Add assignment specs
Move RootContext into Interpreter class