Added typecheck.
Added tests for strings