Extra tests, for consing a cons onto a cons and having variables have list values