Implemented new argument filling and type checking
Updated documentation