Fix void value generation
Be more explicit about `Type`'s markers
Update travis