Support constant-backed type aliases in variable declarations (safe + unsafe) with explicit invalid-case errors

Support constant-backed type aliases in variable declarations (safe + unsafe) with explicit invalid-case errors #22