one2
implemented HypotheticalShape

- hypShape allows output of gamma to be
  treated roughly like output of iota
- added new line at end of lambda-defs
- reverted to last working hci.gram/lex
finish HypotheticalShape