Broken inference

[WhatisRT]

There are many places where we currently have to pass arguments manually that feel like they should be inferrable automatically. The purpose of this issue is to weed these out as much as possible. We should collect the functions that are likely to have this behavior, organize them into similar groups and document the issues that break inference. We can then make a plan to fix those issues.

• List functions with broken inference
• Group them into similar types
• Document why/how they are broken
• Fix as many as possible