Allow terms to be verified within a context.

Terms can create context groups and assertions
within the current context.
Update todo.