inserting a module for type.
fringe hack.
fixing infloop.