Shorter summary

[camlspotter]

Look https://camlspotter.github.io/ocamloscope.html?q=fold&packtype=allbut . So awful that I really want to throw away OCaml itself. We need something to simplify this gigantic search results.

[camlspotter]

• Path simplification inside types should omit more package and module names aggressively. The current output is correct but sometimes too long. We provide may-be-incorrect but shorter types in the search summary.
• Aliases. Do we need to display all the aliases?
  • Just show 0 aliases? (Of course providing a link to display all the aliases)
  • Show only few aliases, which are considered "important". But which one is important and which one is not?

[camlspotter]

We can remove package names in types safely, it keeps the correctness.

[camlspotter]

commit a75d1cd3d907509088353405569fcda0d174720b
Author: Jun FURUSE <jun.furuse@sc.com>
Date:   Tue Nov 15 11:02:54 2016 +0800

    shorter summary: package names are now omitted in types

[camlspotter]

An idea:

• If A and B match, and B is an alias of A, B is not displayed.
• If the search A matching, then it skips all the A's aliases.