Draft of syntactic metrics section in implementation chapter. Modified BinaryMetricMatchOptimizing for GR paths. Also changed the getPaths method to only not return paths containing cycles.