Add BitInt specs
Add WelbornRISC, for my 3380 class

That wasn’t too bad. Seems to work! :D