Library for constructing parsers and pretty printers based on invertible syntax descriptions