update Design.txt and editing Type.hs