can generate classes and new instances, but cannot get types yet