Regression with SContext

SContext implementers have to override the method "def basis: SContext" unlike in the previous version.