A bit of checks before defining types