Fix Core so that it type checks
Some work on vectors