Decode definitions for new syntax