fix/literal-multiple-bounds-workaround
master
This is currently broken due to how we handle function calls in the unifier.