A Language for Function Signature Representations