Porting Rho from [Applic] to SET Applic.

This is merely the first part. Still need to fix the unification. It was
incorrect anyways, so it's good to locate one extra source of potential issues.