Add initial traits introspection builder
Add traits builder that uses placeholder expressions to match types as well