Add comment on how to make types "known"
Add comment on how to make types "known"

jiawen/Halide,kgnk/Halide,kgnk/Halide,psuriana/Halide,ronen/Halide,ronen/Halide,ronen/Halide,kgnk/Halide,psuriana/Halide,psuriana/Halide,ronen/Halide,jiawen/Halide,jiawen/Halide,ronen/Halide,psuriana/Halide,ronen/Halide,ronen/Halide,jiawen/Halide,jiawen/Halide,kgnk/Halide,ronen/Halide,kgnk/Halide,kgnk/Halide,psuriana/Halide,psuriana/Halide,kgnk/Halide,jiawen/Halide,kgnk/Halide,jiawen/Halide,psuriana/Halide