clean up Hfiber, add Isweq, invent syntax for referring to definitions in a TS-expression