implement internal plugin for nested hex programs
add example
fix some bugs
some bugfixes
fix a bug in the grammar