disable idris and agda, update narrow-or-widen