Removal of Synpreds and others

- Removal of Synpreds
- Minor tweaks
- Added unmodified yet VHDL libraries (will be useful later for simulation purposes)
- Matched grammar with LRM entries order (easier to match rules in documentation)