make qbrt handle param metadata in func resources

also update test programs to declare types so that tests pass
add a note about how to run integration tests
update instruction set docs for newproc & recv

these are new concurrency instructions that need to be described
allow different module names for primitive types
remove globals array

pulling it out for now. can add it back later if necessary and even then
it would probably go in Application somewhere, not Module
add check for input parameter types

make sure they match what's expected by the function
add ability to load types into a module
remove old unused debug messages
first draft of how polymorphism looks

(really the second draft)
first stab at adding structural subtyping

still only partially done but wanted to checkpoint the work