Match x to a in Church encoded list def