A tiny error-throwing module for checking types.