Finish adding abstract types and global constraints

[Timmmm]

This is just to keep track of this feature which would allow only compiling the RISC-V model once for XLEN 32/64, FLEN 32/64, VLEN ..., instead of for every combination.