higher order fns, etc
map & set factories
vector factories, predicate
temporarily handle protocol method resolution via interop
lots more sequence functions