Added documentation of padic type and constructors.