Argument types is added. Input types validation is added.