add cons test
add length test
double-dispatch addition, to show it can work