feat(library/hott) start to formalize (pre?-)groupoids