type checking, pluggable REPL prompt, show for cons and nil