Text this: Constructing Higher Inductive Types as Groupoid Quotients