Clean up of fcpTheory. Also added a few new constants.

The new constants are: FCP_CONCAT, FCP_ZIP and FCP_FOLD.

The definition of V2L has changed — avoiding the unnecessary use of Hilbert choice. Also removed the sub1 type constructor. These were introduced in 102792de.