Infinite monomorphizations are possible, need recursion limit

[DenialAdams]

proc main() { let x = foo$bool(); }

proc foo$T() { foo$proc(bool)(); }

[DenialAdams]

Closed by 4a39f927159c54616fa3bb1a47f4fa4182f04aef