Improving term match function syntax and updating version to 0.8.0