Sorry it took awhile to get to this, it fell under my radar! 

Our code conventions dictate 4-space tabs, could you re-tab these? Additionally, did the first case catch use cases that the second case didn't catch? I would have expected `ty::get(t).sty` to be `ty_uint` for uint literals.