Add beginnings of a distributed K-Means program.

Complete with monstrous type signatures, inducing equally monstrous type errors.