Custom Types
Add type inference file