slightly better formatting
stop immediately after producing a datatype contradiction + logging that
event.
several typos fixed
various small tweaks, typos, etc.