use implementation's EMPTYP when available

Using the implementation's EMPTYP has the potential advantage of
supporting user-defined sequence types (as is the case with SBCL).

This commit tests for SEQUENCE:EMPTYP and defines ALEXANDRIA:EMPTYP in
terms of it.

For implementations that do not provide SEQUENCE:EMPTYP, nothing
changes.