Runtime Type-checking for different forms of levels.