Use these to implement a few helper functions. Change the type
verification in type accessor functions to use these new functions.