Type parser fix (type list cons) and test cases for it