Expression type checks (structs, etc)

Added struct todo file and while test too
Added in float checking, in e.g. switch and case