module HOALife::Properties