Update main.ml

checks are now a module