Type Annotations

Explicitly defining variable and function types to ensure type safety.