Describir: Rate-Independent Systems