Parse formal type params
Tidy up test name
Check signature args length matches def args length