Move modules into coinunifier/