+ Notes on normal and applicative order expansion