WIP: defined a couple of the types
WIP
Added the Storable instances
Got the arg passing in a state which i can at least use in function type signatures, but not all the marshalling is sorted out yet