Added an Empty type (Empty.agda).
Changed '\bot' and '\top' to 'false' and 'true' in Boolean.agda.