TypeChecking with VarDecls. StdEnviorment support for String type.

When Strings are compared they always result in failure, so I think any
time the user does anything with a string variable they will generate
an error.