Add links to IL semantics, etc., in README