add test for sequenc_t in value_t
add case for addition to void
add additional tests for sequence_t and fix the old ones
fix minor issues