reorganization regarding APPLICATION combinator implementation