Pseudoc synonym metric

Preliminary version.