Represents information that’s available about a function type A -> B
in terms of the FeatureSpaceInfo for the input and output types.
Here, it is important to bear in mind that the flow of data through
the application of a typical crate::term_model::TermModel is:
input -(input sketcher)-> compressed input -(input feature mapping)-> input features -(model matrix)-> compressed output.