Moved Proprima out into a submodule