A few changes:  - fixed bug in resolving vector types in lua_to_liszt function checked in last time  - modified type hierarchy and semantic checking for topological types to infer the type of the kernel parameter when/if it is first used to index a field  - fixed a bug in numeric for typing  - changed topological element type to store topo type in the topotype field instead of the elemtype field to make it consistent with fields and toposets.
A few changes:
 - fixed bug in resolving vector types in lua_to_liszt function checked in last time
 - modified type hierarchy and semantic checking for topological types to infer the type of the kernel parameter when/if it is first used to index a field
 - fixed a bug in numeric for typing
 - changed topological element type to store topo type in the topotype field instead of the elemtype field to make it consistent with fields and toposets.

manopapad/liszt-legion,manopapad/liszt-legion,manopapad/liszt-legion,gilbo/liszt-ebb,gilbo/liszt-ebb,manopapad/liszt-legion,manopapad/liszt-legion,gilbo/liszt-ebb,gilbo/liszt-ebb,gilbo/liszt-ebb,gilbo/liszt-ebb