Fix warnings, cleanup in strings typechecker.