created top level type

added type sigs to a few thins
added program data type

(forgot to put it in there for prev commit)
deriving statements
parser typed
added data and or bar to tokenizer
add todos for module export
added muse
some helpers and sketch of parser for typedef