Core spec is enough. Types do not tell the truth. Contracts do the data type cssting and data testing. A ubiquitous combo in data engineering.