Sprightliness

Main commit is 437e1ed, which can reduce the incidence of mispy#3-style issues.