Vectors
Merge branch 'master' of https://github.com/damsl/K3-Core

Conflicts:
	src/Language/K3/Analysis/HMTypes/Inference.hs