first-class Prim.* modules

because we can
more descriptive decoding errors