Add factory function for K combinator
Add factory function for S combinator. Create placeholder for @substitute