add compilation of typespec

used for referring to composed types such as List(Int) or Maybe(Bool)
also added test program to demonstrate Maybe
add fullname to the typespec resource

add typespec support to qbi. still making it work in qbrt.
compile function return type info with qbc

also display it in qbi
upgrade all uqb files to have func return type

they all now compile
tests are now working again

this commit is mostly renaming, pluse changing the format of function
args to be what it is when compiled