more emit-value implementations, only record/type left to implement