[arch-general] RFC on a WIP detailed class outline on static typing