Added some provisional 'Maybe' to List.agda.