Added traversal 'typechecking' of forloop block
Added 'list_contains_fun' to check whether a value exists in the list based on a compare function
Removed double vardecs with same variable name