Bitwidths and so forth are now inferred.