Tighten representation of DbC context type