lots of updates for introduction: mainly, shadowing, no fancy function tostrings, and more check blocks