Tell typechecker about String.encode method