should lui + addi automatically apply hi_lo rules to labels expressions? (what of data expressions?)

I had to implement a pre-processing hack to hi_lo the incoming data+addr to accord for the sign extend of addi when using it along with lui.

Need to figure out a more robust way to handle these cases on labels and incoming data. Would be nice if the user didn't need to anonate their data/stuff with a %hi() preprocessor of sorts but i'm not sure what my design space and/or alternative is here.