Made defproc use symbols instead of strings