Add Type( x ) abstract operation, formatting