Finished ProgramVisitor, made ExpressionVisitor and TypeVisitor more stublike and used them to implement both Stm and ProgramVisitor
Made Stm.scala -> StmVisitor.scala for more consistent naming