Remove a redundant equation.

'display IOS' already evaluates to "ios".
Add some more OS aliases.

Fixes #1641. Based on a patch by Karel Gardas.

The 'Compat' classification strictness type is confusing and should IMO be
merged with 'Permissive'.