Range patterns in typedtree