Update and rename altSimplicial.v to adhesives.v

This file doesn't need FunctionRels; what we want to do with SSimplicial does; but it seems better to pack up these theorems separately.