nicer printing of types (and comparison)
small util in Formula