make all to Makefile

separate out List functionality into List.agda

pull List functionality out of Units.agda
moving number functionality into Number.agda