Added modules from master thesis.
Did the HIT construction, which just works by definition.