Optimized Compilation of Functional Programs -- Interfaces as Games, Programs as