Better pretty printing

[minchingtonak]

Currently functions and macros are printed very opaquely.

Printing a function yields <#procedure> and printing a macro yields <#macro>.

Ideally these prints would include more info, e.g. printing the plus function yields <#procedure +: (int * int) -> int> or something similar.