Fix error with cons-ing in implementation of (++)