Type Conversion, Type Aliases, and Type Deduction

hi