metadata should only bet set on symbols or sequences
more helpful error message
ensure all definitions know their context
Properly reduce all arguments to RecNat