Fixed rewriting of labmda ast to SKI ast