fix cli label shorthand lookups (didn't really exist)
fix corner case in label intersection and add test case
fix shortLabel to print entire type with namespace is present
update backend to do port and label checking, and rewire backend, setup and test accordingly