Alternatively it could be what Microsoft Research does a lot which is take some subset of a language and add capabilities, like software verification with F*.