Type analysis fixes and Ada code generation for not expressions

Fixed type analysis in bitwise expressions with SequenceOf types and Reference types as elements, added some tests for this in test-expressions and implemented ada code generation for not expressions.