Tweak holes documentation

type holes -> typed holes, reorder, minor changes