Type-changing `ala` and `alaf`. Fixed the kind of Rewrapped's second
argument to be *