remove delta from variable type arguments (genericity)
remove var type from view
-minor

update extra dir
- imports
- remove propagator from constraint type
imports
Merge branch 'feature-gen' into develop