Some partial work on parameter types