Added tests and code for recursive equality of Option in general.