Import internal module in splice module

hlit-types now exports a module to cater to the generated splice
modules. This avoids having a lot of imports and complicated splice
expressions.