Fix the `big-tri` bug

I made the regular expressions used for parsing complex numbers much more precise. As a result, we should stop seeing weirdness where big-tri parses as a complex number rather than a symbol.