Added Level.agda from Agda standardlib.
Removed some random junk.
Removed 'Lambda.agda'.
Removed 'Binary.agda'.