Add of type package for type checking
Type checking methods implementation in Validator