complete unary expression resolution for array bounds