[Eva] Domain_builder.Complete functor builds unit context for domains.

Removes NoContext from domain_builder.
Removes Context argument from other Complete_* functors: they all build
a unit context.