A functional reactive model library.