LambdaPrinter is now a trait; added implicits from an expr to an interest and for thunks.