Have a crate for RMC prelude instead of using an include macro

[adpaco]

#230 is adding a prelude file which ideally would be a crate that we import instead.