attempts to fix handling of eta expansions with unstable components
makes inlining in Host symbol-based (no idea why I implemented it with names initially...)