(VAR X Y )
(RULES 
        fapp(lam(X), Y) -> 
        
)