Text this: Formalization of Quasilattices.