Add sample to SymbolTableTest using custom symbols and type.

Add a test which demonstrates how one can create symbols and types
from scratch and perform sub type check using them.