Fixes for discover properties, and some other issues

Do you mean we should involve in Procyon itself? Makes sense, it is a crucial part of Windup. And also almost irreplacable.