pippijn/aldor — pull request #106 by pbroadbery (2014-03-14 21:29:17+00:00)
Title: Pab/devel 2

Fix for #104 - simply check in the top down phase that the required type matches none; if not, then fail.

Oh, and add tests.