Fix top interaction for PCF-source.
More progress on redex-to-lang.