core: start checking data type defs