Higher-order Programming Environment