Translated more of the special cases to nmigen