No-export un-exportable types in BOLT12 module