[ new ] Support reflecting on new intX types (#1642)
[ new ] Support reflecting on new intX types (#1642)


mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm