Use associated type synonyms

Signed-off-by: Nicola Squartini <tensor5@gmail.com>