Start go rewrite: add down command
go rewrite: add establish command
go rewrite: add datatypes