Constraining the Form of Supertags with the Strong Connectivity Hypothesis