Added a traits system for tagging types.