> small AST nodes will be pointlessly padded to account for the size of the largest AST node.

This is a great point, and something I mentioned in my blog post on custom-bitwidth integer types: https://alic.dev/blog/custom-bitwidth

Discriminated unions can work, but you have to be clever with your memory footprint.