diff --git a/ftdetect/ats.vim b/ftdetect/ats.vim
index b71b9d6..07fa8ee 100644
--- a/ftdetect/ats.vim
+++ b/ftdetect/ats.vim
@@ -1 +1 @@
-autocmd BufNewFile,BufRead *.ats,*.dats*,*.sats,*.cats,*.hats set filetype=ats
+autocmd BufNewFile,BufRead *.lats,*.ats,*.dats*,*.sats,*.cats,*.hats set filetype=ats
diff --git a/ftplugin/ats.vim b/ftplugin/ats.vim
index 45452f7..67d4941 100644
--- a/ftplugin/ats.vim
+++ b/ftplugin/ats.vim
@@ -38,7 +38,7 @@ endfunction
 
 if g:ats_use_ctags == 1
     augroup ats
-        autocmd BufWritePost *.dats,*.cats,*.sats,*.hats silent !ctags -R .
+        autocmd BufWritePost *.dats,*.cats,*.sats,*.hats silent !ctags . -R
     augroup END
 endif
 
diff --git a/syntax/ats.vim b/syntax/ats.vim
index b4d6c9b..c6bee85 100644
--- a/syntax/ats.vim
+++ b/syntax/ats.vim
@@ -65,12 +65,13 @@ syn keyword atsKeyword prefix postfix infix infixl infixr op nonfix addr
 syn keyword atsKeyword staload stadef sta dynload stacst assertloc macdef
 syn keyword atsCond if then else case sif when
 syn keyword atsRepeat while
+syn keyword atsOperator mod
 syn keyword atsException exception raise try
 syn keyword atsStatement let in where local
 syn keyword atsStatement val and fnx fun fn llam lam fix rec var of assume castfn prfun prfn
 syn keyword atsStatement begin end
 syn keyword atsTypedef typedef sortdef viewtypedef vtypedef viewdef
-syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview
+syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview propdef absview
 syn keyword atsExternal extern implement primplmnt
 
 syn keyword atsKeyword symintr overload with
@@ -129,6 +130,7 @@ AtsHiLink atsOctalError atsError
 AtsHiLink atsIdent Identifier
 " various keywords
 AtsHiLink atsKey Keyword
+AtsHiLink atsOperator Operator
 AtsHiLink atsCond Conditional
 AtsHiLink atsRepeat Repeat
 AtsHiLink atsException Exception