- Type analysis working