%type <Symtab.t -> Easy.program>

program: statement EOF { fun t -> List.rev ($1 t) }

etc

Would this work with Menhir and would it be detrimental to performance?

I think there's an elephant in the room. Functorization of a Menhir- 
generated parser doesn't solve this issue since the specialization  
happens at compile time whereas a new symbol table is a run-time value.

	Thanks, Joel
	
--
http://wagerlabs.com/