The ALMA Redshift 4 Survey (AR4S). I. The massive end of the z 4 main sequence of galaxies