Adds sketches for fine-grained types (#72)