Make it compile with Agda 2.4.2 and stdlib 24af088

Changes:
 - add arg-info everywhere
 - add literals
 - don't pass implicit n argument to Data.Vec._∷_ as it's now confused
   with implicit Level argument coming from Data.Vec.Vec.