Type inference tool for puppet