- Type analysis working for higgs init