Finished separating types for type determination and range determination