Fix license headers.
Add ask and entail (aka tell) operations in the store. Begin the definition of the ntcc EDSL.