type-protocol A crate provding a simple syntax representing types inspired by the go programming language.