An experiment about how the usage of types can influence the quality of software