Continue implementing toString. Fix a few casting issues