Full prototype of trait specs and resolution.