Frédéric Blanqui contributors to alignments: Amal Makni: subtype, quotient Anthony Bordg: sum, list, char