Types, logic and people thingies

Also: How to title things when you don't have a real title?