add IdType as an OOB type in TypeSystem; use it when exposing Trait instance info; introduce PathExpression