partial evaluation of STLC with fix-point combinator