Typescript Declare Constraints