Add primary constructor taking one Int argument
An implementation should be missing yet.