Fix extended sequences in the type system

[Bike]

Currently this fixes typep and not subtypep. and it breaks (subtypep '(cons foo) 'sequence).

I think Baker's subtypep is kind of totally incompatible with extended sequences in any meaningful way, because sequence is effectively in all of the array, list, and class "type families".