Start writing pretty printer for Constraint