Construct a PROGN-AST from the list of body ASTs.