Fix bug in type marking when replacing variables with abstract types
Merge pull request #20 from lpw25/fix-marking

Fix bug in type marking when replacing variables with abstract types