The sweet embedded database with native type-checking in Go