Assertions to check types of variables
