Implement Default and remove some unnecessary bounds

r? @metajack