remove unnecessary Int default
recognize ScopedTypeVariables