Update README

Still TODO:
  * symbol naming conventions
  * update list of unsupported features
  * more examples of using promotion
  * reference the paper (although it is not yet published)