The import is in fact wrong and should be 'ionic-framework/ionic' as you discovered.
As far as the nav parameter, you have a couple options. Either give it an access modifier (private, public, etc.) OR you have to explicitly declare the variable before your constructor. The reason you can do either is that TypeScript will compile the access modifier option to the latter as a way to save typing.