Formalize parameters syntax. Remove body parameters section. Closes #7.