Reworked type system by making the place identifier part of the
type designator. This has made function definitions more powerful.