fix(lean/library/standard): fix tests, more cleanup