Made loop/recur more awesome and added simple asserts