#593 Basic type checking and pretty printing for annotations

• This is basic type checking for annotations. No annotation providers for custom type checking yet.
• Pretty printing added as well.
• Allows to load and save annotations now.
• Added some tests.
• Best to review per commit. Should be pretty straightforward.

Addresses #593