Utility function for interpeting a sequence of ASTs.
Define method on INTERPRET-AST specialized to PROGN-AST.