type improvements