Review feedback: use adt::ty_of_inttype instead of open-coding