remove cons attribute everywhere but frontend
fix bugs
fix NotSerializableException
fix bugs with concretization
fix bug in test that surfaced somehow
fix bug
fix code review comments
Merge branch 'unified-builtins2' into cons
Merge pull request #770 from dwightguth/cons

remove cons attribute everywhere but frontend