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.