Talk given at the ICNFP 2014 conference, Kolymbari, Crete, 28 July - 6 August 2014, 18 pages