support for automatic eta-expansions