Knotty: A domain-specific language for knitting patterns