Evaluate type applications and type abstractions