Make PatternMatcher comply with Unicode specifications wherever
possible.