Finished placing the pseudo code for parsing type specifications.