Accepted to OOPSLA! Updating draft to most recent revision"