Fix types/minor formatting errors in spec docs
Document function projections in the spec