Generation of kernel name

Each component of a kernel name corresponding to a terminal is obtained through
call to `kernel_name<Term>::get()` function instead of hard-coding it inside
vector_name_context.

refs #37