Clean miscellaneous variable stuff.

- The variable type is no longer part of the user configuration. It’s now useless thanks to Identifiers.
- Avoid passing variables (which are plain unsigned int) by const&
- Remove some useless typedefs involving the variable type
Remove util::print_sizes, which only used for early development.
Pass SDD by const&.