added y combinator and myappend3 example
got functional myappend with Y recursion working
copied along definition of Y and append using it