Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
This will help us type things more precisely. I've already found a few issues around refs.
Unfortunately, this currently causes an infinite loop in Flow so we can't land it.
It's also far from complete. More work is needed.