Implement a parser for a simple language for composition of proof compression algorithms