add asserting about attribute types