“positivs” → “positives”
Clean up comment
Add some concluding remarks to IntBST and Maybe