implement prototype type inference discovery loop

implement prototype type inference discovery loop #991