Fix BinOp type inferencing and allow concatenation of lists and strings
Make nim.owl unfunctional but compilable
Fix checking of variable_store in for loops and other miscellania