fix some bugs to make stuff more explicitly bound
fix copyright
fix circular dependency
Merge pull request #774 from dwightguth/guice-ant

fix some bugs to make stuff more explicitly bound
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