Typescript Advanced Types to Validate Specific Objects