X-separability in lambda-calculus