Redirecting to Abstract-Type and Scheme-Definition Language