Added type verification to all assertions; Fixed some 'private' methods to standard single leading underscore