Fixed many bugs

Renamed fixed/mobile slices to read easier.
Made use of as-> threading to clean up logic.
Fixed bugs in meet/inner-prod/outer-prod introduced scalar-prod, etc.