correction on projection types; most of the rewrite of section 2.3 done