Implement struct parsing and type checking (includes cycle checking)

Implement struct parsing and type checking (includes cycle checking) #6