Refactor Context.push → Context.add

The name `add` is better than the name `push`. Also while here, the order is "t first" to have the context
come first is more Core'ish in the idioms.