pseudomacro for cond->if
added primitive procedures for lists
refactor (re)definining variables
cleanup, renaming, different exceptions