Cut off evaluation for insufficiently-long spines
Cut off evaluation for insufficiently-long spines

This would cause unification to eagerly select the first clause of any
function it called with fewer eliminators than arguments.  This happens
to type check in the few cases where it “works” in our test suite.

silt-lang/silt,silt-lang/silt,silt-lang/silt