Reworked how fake-structs are handled which means less special case code
in the type system which I am happy about. Does mena a little in the
front-end though which is wrong, will be cleaned up soon though as I
want ot get rid of all uses of (make-instance 'type-name)