types, expressions, module contents and local vars work now in terms of variability awareness