Inferred typing

  1. REDIRECT Type inference