Added the nominal type to the analyzer construction.