Toy Functional Language