dryad/type-check Main Main.str