Fixed some gramatical errors, added ticks around inline code, worked proposal into introduction