regr4

Hi, I just installed `atspkg` and ats, and tried to build a Hello World program, but I got some errors which I'm pretty sure are from Dhall: $ atspkg run...