Vectorise.Builtins.Initialise
initBuiltins
initBuiltinVars
initBuiltinTyCons
initBuiltinDataCons
initBuiltinPAs
initBuiltinPRs
initBuiltinBoxedTyCons