Show val for all lisp values
Simple eval
Simple eval primitive functions
Show values that can't be evaluated yet
Modified check.sh to verbose checking