Add sketchy notes about new size inference rules