Migrate from Slim -> Samplx\Karp. Introduce Hack language features.