about object.apply for class 4.1
simple implement for Boolean for class 4.2
simple implement for Nat for class 4.3
update List for class 4.4