For Myrial (and datalog), we correctly infer the type of literals like "hello" and 3.7.  Datalog is currently broken in that it doesn't know about EDB types -- i.e., datalog doesn't use the catalog  information in any way.  I don't think this is super-hard to fix, but I wanted to break it off separately, since it might violate other assumptions I don't know about.