copy, basis for staging
make compile emit datastructures by default
gen staged scala code
normalization rules
todos, minor