fix: resolve 'invalid-return-type' errors in ty type checker (#80)

fix: resolve 'invalid-return-type' errors in ty type checker (#80) #297