Working prototype of Real Functional PHP library