Fixed problem with the unification of a list with a

Fixed problem with the unification of a list with a
SEQUENCE-TEMPLATE. The implementation was not checking that the
length of the list was compatible with the length of the required
elements in the template.

Apart from that, keyword matching is still unimplemented.