attribute development
language paradigm fix
variable imperative
more imperative concepts
imperative contracts
IName contract
bugfix
clean Codegen.Abstract.Imperative