When returning undefined from procedure, it's not reflected in types

Original message was deleted