corrected bug in typing, added tag to constants indicating whether to check type or not