Added top-level program, visitor, made files for remaining visitors (expression and type), modified example program to include more declarations and some comments about how to interpret it without OO.