Removing some comments
lexical-let and macroexpand fixes. Various tightening of core fns