Initial commit
Run go fmt
Add unit propagation