Refactor the test program on index page
More type checking fixes
Add check for unused variable assignment statements, updated test cases
Start to refactor the way unused variables are handled
Put the wrong test program in
More test programs for variables