Added s-abstractions as a submodule.