Implement literal::block::to_string and block_stm::to_string
Complete to_string