Experimental unfolder for full featured functional programs