getType now works with tyInferred (arising from concepts); refs #18220

[timotheecour]

• getType now works with tyInferred (arising from concepts); the test i added exercises that
• refs adding/removing pragmas like {.inline.} causes breaking changes #18220 (not a fix but a starting point)

future work

in future work I'm considering using concept syntax for symbol aliasing/forwarding (templates, iterators, generics, overloaded symchoices, etc; any symbol), ie allowing constraining alias params (from #11992) with concepts, to address #11992 (comment) ;
I'm not committing to this idea, but it's worth exploring at least, eg:

# pass by alias: 1 instantiation per symbol
proc call[T](a: T, fn: alias Callable[R, T]): R =
  fn(a)
template bar(a: SomeFloat): auto = a * 2.0
proc bar[T: SomeInteger](a: T): auto = a * 3
assert call(1.0, alias bar) == 2.0
assert call(3, alias bar) == 2 * 3

# pass by unique type: 1 instantiation per type (only accepts proc|func|closure iterator)
# not sure if this form can also accept symChoices and generics, TBD
# there's also a question regarding optional params, see the
# `1.map1(fn3) == """(1, "zoo", "fn3")"""` caveat mentioned in this PR's tests
proc call2[T](a: T, fn: Callable[R, T]): R =
  fn(a)
proc bar2(a: int): auto = a * 4
assert call2(3, bar2) == 3 * 4