Merge remote branch 'origin/felix-pending' into tmpmerge

Merged the following changes

- extension of type-system to "(list T ...)" and "(vector T ...)"
  types, with "(list T)" and "(vector T)" renamed to "(list-of T)"
  and "(vector-of T)", respectively
- allow matching of "list" with "list-of" in exact/all mode for
  specialization matching
- types.db fixes suggested by sjamaan
- slightly more precise types for mem*/ass*

All changes reviewed and acknowledged by sjamaan