add references to proposal
proposal: better explain current progress and goals

Signed-off-by: Jacob Emmert-Aronson <jre2718@berkeley.edu>