adds function prototype contracts
  -- handles function of one parameter
  -- pretty prototype syntax in the works