Fix replimoc2.mj so it type checks