Cleanups
Add some type signatures
Add signature for abs

Not sure what's the more idiomatic naming here.