Add suppport for weak boxes in TR

Closes PR 14771
Fix ordering issue in typechecking inner calls

Closes PR 14810