add a parser for program, still need proof and meta