[ fix ] `Name` in `Language.Reflection.TT` This was different to `Name` in `Core.Name` Specifically `CaseBlock` and `WithBlock` had an `Int` instead of a `String`
[ fix ] `Name` in `Language.Reflection.TT`
This was different to `Name` in `Core.Name`
Specifically `CaseBlock` and `WithBlock` had an `Int` instead of a `String`

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