review code, fix formatting
get rid of unneeded coupling between Titan and general types
decouple TitanTypes from keys and labels