Added TC tests for concrete matching.
Fixed type error in test
Added TC tests for varyadic args
Fixed type errors in tests