Squashed commit of the following:

commit b404feb30cecf7678c0ad6007171a13361483086
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Wed Apr 17 17:36:21 2019 +0200

    Bumped try_recv and recv to ofe st's

commit 4aa2399d02de67feacdcba9d0929cd7e20a1f7da
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Wed Apr 17 15:19:14 2019 +0200

    Finalised send proof

commit ae9857fcf8a88e917b6ccb219ac6e27a1afe46e2
Author: Robbert Krebbers <mail@robbertkrebbers.nl>
Date:   Wed Apr 17 14:58:34 2019 +0200

    Tweak.

commit 4d86571d9d51992d6ee83fdfbbfbec24ce8fdbc8
Author: Robbert Krebbers <mail@robbertkrebbers.nl>
Date:   Wed Apr 17 14:54:44 2019 +0200

    Work.

commit 0fedd453c2ce41862f0a2040294ad0d271e39e85
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Wed Apr 17 12:55:52 2019 +0200

    Bumped Robbert feedback, WIP send st triple

commit f5672f9a529699ca0610329d32c59ad33d3146de
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Tue Apr 16 14:43:52 2019 +0200

    WIP

commit ef354c3899e796ccb091e1275e8b44d12a3393fd
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Tue Apr 16 13:39:41 2019 +0200

    Lifted stype over OFEs. Fixed residuals in channel.v

commit 1a47979d7497adb8c14ac9b57caf5632383ef2c3
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Tue Apr 16 13:08:28 2019 +0200

    WIP

commit 605562ba86b9481ae367409c87492b61d199111f
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Tue Apr 16 13:05:03 2019 +0200

    Test

commit 77eb6feb071da540fbc424602628c045ea15c004
Author: Robbert Krebbers <mail@robbertkrebbers.nl>
Date:   Mon Apr 15 16:24:13 2019 +0200

    Working.