implicit :prove all properties when no argument given

closes #93