Unify bytes more accurately

[iamrecursion]

Summary

Previously there were cases that were valid bytes unifications that we would miss due to being too restrictive. We are now far more permissive while still retaining sufficient accuracy to ensure we are not inferring such a type incorrectly.

Closes #88

Details

N/A

Checklist

• [x] Code is formatted by Rustfmt.
• [x] Documentation has been updated if necessary.