NIWI and New Notions of Extraction for Algebraic Languages