make type assertions