Fill up AboutPipelining
fixup last assert in AboutTuples.fs