updated README (and format changes to gadt code)