Added get-val to encoder to turn an asm val into a val object