notations
work on notations / module loading
merge