I think this is for reference-type data. But if `lit` is value-type data (eg. `IntegerExp`), type painting should be done.