Provide missing top-level type declaration for 'pointed'