Add type inference and quick runtime construction for typedlist