started type checking object access/write