Correct comment.
Remove unused code.
More robust list contents assertions.
Implement unquote-splice.
Minor code tidying, including factoring out isSplicedForm.