Switched to same abstract symbol (green triangle) for types and type bindings.