implement uniprop on moarvm.