basic commands support for function tags
adding header_given, and passthrough for check_block and definition
Merge branch 'master' of github.com:brownplt/captain-teach