make the fay code type-check in hdevtools