Add Eva.subr_string_of_value
Add Eva.subr_show