fix append; fix printing of nested cons
edit welcome message