AST printer updated (typing-signatures/els.ml