Pretty-printing fixes of types and local pointers

Pretty-printers now print less types. Local variables in translation
from Simple to Functional First-Order are not called pointers.