remove `server` type synonym

not sure why it was added in the first place but i can't see the benefit
of having it.