Implement a normal type.