Added lookup function for [CDataDec]
Added function to get result type from a signature
Fixed conversion so tcheck happens after FO-transform
WIP