added unary -, continuation type lifted
continuation type lifted
removed unused imports
slides updated according to progress made (WIP)