Define a primitive interface for primitives which take a sequence and produce a single value

Currently, only sequence to sequence is allowed.