types can be different objects, same type
types can be different objects, same type

maybe we should tie types to the relevant java/lang/Class object?

netopyr/doppio,plasma-umass/doppio,netopyr/doppio,bpowers/doppio,Wanderfalke/doppio,Wanderfalke/doppio,plasma-umass/doppio,Wanderfalke/doppio,bpowers/doppio,netopyr/doppio,jmptrader/doppio,plasma-umass/doppio,jmptrader/doppio,bpowers/doppio,jmptrader/doppio