Minor typecheck test edit
Minor change to typechecking to allow equality for pointers of same type
Merge branch 'master' of github.com:niketkandya/plt2013