Added ranges to type checker