Fix #614: Remove return-type restriction on exported functions
Fix #613: Reject bad value class arguments in exporters