Improved example01
removed deprecated List.fixedLength constructors

some code beautifications and reformating
reverted List.fixedLength constructors for now