External Core: print function types correctly, improve newtype pretty-printing