Remove unused constructor.
Fix more incorrect type constructors.
Added pretty printing of types and messages.