Renames 'types.rb' to 'arg_types.rb', some fancier logging, improvements to Application.