uncommented tests.
print type info as Erlang types.