fix bug in List.Rest
minor changes