terminology fix: dependent to parameterized
better argument parsing.
tentative support for tail signatures