Add signature tests
Fixes misspelling-bugs in types_test & typesignature