Toy "id" example now works! (thanks, unification!)