Added tests & fixed completions inside expression containers.
Fixed type checker.