add moreRecord type, to facility Dyn typing
better commandline invocation - can give specific file to typecheck and run