Prepared environment for practicing introductory function writing with automated property-based tests for providing feedback