Go library providing dynamic types with validation.