Better, and still not handling reduction of subterms in matching
Basic spine support is working; next step: better hints about where to apply reduction to subterms