add type assertions everywhere