Add optimization checks for basic identifier types

Identifier types are used so frequently it is beneficial to check they are properly optimized.