DrScheme supports four language levels with these features:
The MrEd language uses the MrEd vocabulary, which is more efficient than the other vocabularies, but does not provide source correlation for error messages.