Variable Catch.type

class Catch
{
  // ...
  Type type;
  // ...
}