Got rid of distinction between return_ty and n2n_type
Merge branch 'semantic_check' of https://github.com/jhn/n2n into semantic_check