Introduce the Zero FS functor, Mid FS sigs, and FS injection functors