Add instructions for checking types of values