new design for projection for Formula objects

[juanrh]

See design doc at drive, section "Alternative design of projections for Formulas"