Merge all ltlast/ files into formula.hh.  The forward declaration of visitor was causing error messages too cryptic for users.