Completed implimenting TypeSystemParser