Switch from Moos to Mo.

Thanks to priodev's new nonlazy feature in Mo.
xt tweaks
check receiver before optimize