simplified descriptive type testing library