In computing command lines, put filenames inside of quotes, to support spaces and other funky characters nicely

datatype foo = Bar of int

table bad : { A : foo, B : { X : float } }