Heavily revised and expanded draft. Presented at Melb Scala