KAZOO-hackathon: new type specs to deal with dialzer complaints.