Extracting the field type from the signature of the structural type.

Fixes #100 and #101

Review by @gzm0 @hubertp @heathermiller