Split tests in two test functiosn
Add test for Notation Type
Make basic notation types pass