Added stub for dynamic type checker and mino polishing