Accessor changes and type checking started