rusk: replace Namespace by Inst (implements #13)