Better error for apply. Absent hmap lookup is Any. NotTypeFilter unparse
Add hole tutorial, improve rng subtype error msg