Fixed subtyping rule for strings which wasn't checking patterns.