Text this: Positive Supercompilation for a Higher-Order Call-By-Value Language