Defines variables with explicit types, inferred types, and default types.