AST type is inferrable/cross-checkable from units. make it so