does your language have types?