misc fixes for Hamblin semantics
misc fixes for Hamblin semantics notebook