more downcast removal; scope reduction; prefix oper