- User types and constants