moving tests
refine RAppTy