collapsed impl package into socrates core API