Formatting
Clean up of LSC

Having a few quickfixes under my belt allows me to see some bad
practices and otherwise tidy up the code
We don't need type bindings in LSC resolution
Added more robust typechecking

It wasn't too hard.