From reading the blogpost I did not really understand the sin case and thus not the arguments based on it. Why should sin not be a function? What makes it different than abs?
Also: What is so problematic about letting the user input, whether a thing he defined is a function or a symbol? (Even though I believe symbol would be a good default.)