Adding printed module test; fixing few type manager bugs