7/5/13 - first draft of type hierarchy