got rid of 'listF' example, which is now subsumed by the real 'list' type
#main components for everyday use, without big impact on overall build timecvc3-2.4.1e-1.8exec_process-1.0.3Haskabelle-2013jdk-8u5jedit_build-20140511jfreechart-1.0.14-1jortho-1.0-2kodkodi-1.5.2polyml-5.5.2scala-2.11.1spass-3.8dsz3-3.2-1z3-4.3.2pre-1xz-java-1.2-1ProofGeneral-4.2-1