Finished the argspec matching feature. Closes #3 and #4.