Ongoing work: add an edge typechecker, rudimentary support for edge properties.