Add SASS and idris mode