type inference efficiency improvement

less use of () as a special argument value, and less unnecessary work
on ANY slots