Take all `...Type` things like this in one place (+ `GOProperties`) — this will be the "GO scala model" (which is the goal of #7)