support function args typeinferance (WIP)

support static function args type first
then try to support autojit like args typeinferance