v2021-12-30

Clean up and improve readability in the program code

+ Improve readability in the implementation with nullable annotations and records.
+ Also, fix some inconsistencies in the user interface.