! Make all traits private (enforce imports); redesign Contexts and Searching