Add liskov substiution rule notes