RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice