introduces Lit.value

not related to unification, just something that seemed useful to add