Remove method Ref.getType() deprecated in 0.8. Already unused.