Typed Trademarks