Add type assertions.