FUN lang extensions defined, now type system rules.