I started filling out some of the isa tables but I managed to do only a few
assigned to @brilator
mentioned in commit 0adca156
merged