More types, a few operations on said types