refactor(library): set up and document standard/classical/hott imports