Adding documentation and finite-ness assertions to Rectangle