skipSpecials is now excludeSpecials
Type safety; terminating properly; excludeOlder option