Language design for `rat`.