Improve errors handling

+ now it does not duplicate error messages, when argument checking failed.
BasicTypes: add NotDir type