GR-30, types update rules

Not for merge, just comments
Use `.empty?` instead of `.take.nil?`

Also, it'd be nice to add a comment above the if statement explaining this requirement since it's a bit convoluted.